1. A logical theory of nonmonotonic inference and belief change
Author: Alexander Bochman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Belief and doubt.,Expert systems (Computer science),Nonmonotonic reasoning.
Classification :
Q339
.
2
A449
2011
2. A logical theory of nonmonotonic inference and belief change
Author: Bochman, Alexander
Library: Central Library and Documentation Center (Kerman)
Subject: ، Nonmonotonic reasoning,، Belief and doubt,، Expert systems )Computer science(
Classification :
Q
339
.
2
.
B63
2001
3. Complexity of proofs and their transformations in axiomatic theories /
Author: V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Proof theory
Classification :
QA9
.
54
.
O7413
1993
